Formal geometry proofs
1. Proofs of triangle and polygon theorems
ID is: 1857 Seed is: 1074
ID is: 1857 Seed is: 9480
ID is: 1857 Seed is: 6710
ID is: 1907 Seed is: 9473
ID is: 1907 Seed is: 5984
ID is: 1907 Seed is: 9540
ID is: 1905 Seed is: 8801
ID is: 1905 Seed is: 29
ID is: 1905 Seed is: 7391
ID is: 1908 Seed is: 414
ID is: 1908 Seed is: 4190
ID is: 1908 Seed is: 6925
2. Congruency in triangles
ID is: 4194 Seed is: 6890
ID is: 4194 Seed is: 2177
ID is: 4194 Seed is: 1898
ID is: 1858 Seed is: 9047
ID is: 1858 Seed is: 582
ID is: 1858 Seed is: 4071
ID is: 4232 Seed is: 1648
ID is: 4232 Seed is: 8235
ID is: 4232 Seed is: 529
ID is: 4186 Seed is: 2341
ID is: 4186 Seed is: 6958
ID is: 4186 Seed is: 3188
ID is: 4178 Seed is: 6876
ID is: 4178 Seed is: 6746
ID is: 4178 Seed is: 3980
ID is: 4234 Seed is: 3145
ID is: 4234 Seed is: 5295
ID is: 4234 Seed is: 3745
ID is: 4203 Seed is: 1172
ID is: 4203 Seed is: 8735
ID is: 4203 Seed is: 3211
ID is: 4202 Seed is: 1790
ID is: 4202 Seed is: 8814
ID is: 4202 Seed is: 6291
ID is: 4220 Seed is: 4688
ID is: 4220 Seed is: 8931
ID is: 4220 Seed is: 5868
ID is: 4201 Seed is: 5592
ID is: 4201 Seed is: 7581
ID is: 4201 Seed is: 3831
ID is: 4219 Seed is: 5396
ID is: 4219 Seed is: 175
ID is: 4219 Seed is: 6128
ID is: 4221 Seed is: 6874
ID is: 4221 Seed is: 4020
ID is: 4221 Seed is: 8845
ID is: 4249 Seed is: 341
ID is: 4249 Seed is: 9362
ID is: 4249 Seed is: 3543
ID is: 4233 Seed is: 6559
ID is: 4233 Seed is: 677
ID is: 4233 Seed is: 226
ID is: 4248 Seed is: 238
ID is: 4248 Seed is: 3515
ID is: 4248 Seed is: 66
3. Properties of quadrilaterals
ID is: 4282 Seed is: 5364
ID is: 4282 Seed is: 4149
ID is: 4282 Seed is: 326
ID is: 4214 Seed is: 972
ID is: 4214 Seed is: 5435
ID is: 4214 Seed is: 1428
ID is: 4250 Seed is: 5688
ID is: 4250 Seed is: 5741
ID is: 4250 Seed is: 3628
ID is: 1654 Seed is: 6367
ID is: 1654 Seed is: 2637
ID is: 1654 Seed is: 4741
ID is: 1865 Seed is: 636
ID is: 1865 Seed is: 4969
ID is: 1865 Seed is: 1784
ID is: 1670 Seed is: 6143
ID is: 1670 Seed is: 5538
ID is: 1670 Seed is: 685
ID is: 4251 Seed is: 4170
ID is: 4251 Seed is: 7788
ID is: 4251 Seed is: 4418
ID is: 4253 Seed is: 4321
ID is: 4253 Seed is: 5439
ID is: 4253 Seed is: 8698
ID is: 1858 Seed is: 6807
ID is: 1858 Seed is: 8337
ID is: 1858 Seed is: 873
ID is: 4182 Seed is: 6904
ID is: 4182 Seed is: 4030
ID is: 4182 Seed is: 8567
ID is: 1853 Seed is: 2170
ID is: 1853 Seed is: 1483
ID is: 1853 Seed is: 6630
ID is: 4216 Seed is: 7555
ID is: 4216 Seed is: 4032
ID is: 4216 Seed is: 7590
ID is: 1846 Seed is: 4706
ID is: 1846 Seed is: 6883
ID is: 1846 Seed is: 8263
ID is: 1864 Seed is: 2508
ID is: 1864 Seed is: 2102
ID is: 1864 Seed is: 6528
ID is: 1672 Seed is: 3157
ID is: 1672 Seed is: 7478
ID is: 1672 Seed is: 8308
ID is: 1866 Seed is: 4127
ID is: 1866 Seed is: 2125
ID is: 1866 Seed is: 7078
ID is: 4181 Seed is: 2204
ID is: 4181 Seed is: 4747
ID is: 4181 Seed is: 8441
ID is: 4300 Seed is: 8349
ID is: 4300 Seed is: 417
ID is: 4300 Seed is: 8103
ID is: 1660 Seed is: 5416
ID is: 1660 Seed is: 2940
ID is: 1660 Seed is: 8838
ID is: 4215 Seed is: 4463
ID is: 4215 Seed is: 37
ID is: 4215 Seed is: 141
ID is: 4299 Seed is: 7598
ID is: 4299 Seed is: 9718
ID is: 4299 Seed is: 8785
ID is: 1862 Seed is: 1427
ID is: 1862 Seed is: 6355
ID is: 1862 Seed is: 5441
ID is: 4252 Seed is: 7898
ID is: 4252 Seed is: 1311
ID is: 4252 Seed is: 6937
ID is: 1867 Seed is: 1142
ID is: 1867 Seed is: 5144
ID is: 1867 Seed is: 7432
ID is: 4276 Seed is: 6678
ID is: 4276 Seed is: 6046
ID is: 4276 Seed is: 4410
4. Solving riders
ID is: 4154 Seed is: 2953
ID is: 4154 Seed is: 1322
ID is: 4154 Seed is: 8298